multiprogramming logic proof

英 [ˌmʌltɪˈprəʊgræmɪŋ ˈlɒdʒɪk pruːf]

美 [ˌmʌltiˈproʊˌgræmɪŋ ˈlɑːdʒɪk pruːf]

【计】多道程序设计逻辑证明

计算机